Modular Design and Verification of Logical Knowledge Bases
نویسنده
چکیده
In this paper we describe a framework for the design of modular knowledge based systems which is motivated by work in algebraic specification and software engineering. The main characteristic of the framework is that verification work can be done in a local setting. We present two concrete module concepts within this framework, and give formal semantics and correctness notions for them. Finally, we show a method for proving correctness of modules using an assertional proof system for logic programs.
منابع مشابه
On duality of modular G-Riesz bases and G-Riesz bases in Hilbert C*-modules
In this paper, we investigate duality of modular g-Riesz bases and g-Riesz bases in Hilbert C*-modules. First we give some characterization of g-Riesz bases in Hilbert C*-modules, by using properties of operator theory. Next, we characterize the duals of a given g-Riesz basis in Hilbert C*-module. In addition, we obtain sufficient and necessary condition for a dual of a g-Riesz basis to be agai...
متن کاملIntuitive and logical way of thinking in the education of architectural design courses
Different approaches and methods are used in the architecture design process that logical and intuitional methods are the most common ones. The role of knowledge in each method is different. Investigating aspects of knowledge demonstrated the hierarchy from data to wisdom and the interaction of explicit and tacit types, subjective and objective sources, and analytical and exploratory ways of p...
متن کاملStructuring and modules for knowledge bases: motivation for a new model
Evolving out of theoretic and practical work, this paper presents the motivation and basic ideas for the construction and use of modular knowledge bases. The approach bears upon earlier work by the two authors done separately from each other. We introduce a model which attempts to merge two previous approaches while maintaining their benefits: Modules for logical knowledge bases, and ordered by...
متن کاملTesting the Integrity of Non-monotonic Knowledge Bases Containing Semi-Normal Defaults
This paper presents a methodology for testing general non-monotonic knowledge bases for logical and semantic inconsistencies. It extends the CTMS-based verification framework introduced in our previous work with an additional integrity test. This test aims to ensure that a logically consistent non-monotonic knowledge base is also free of semantic inconsistencies, resulted from violated integrit...
متن کاملInvestigation the status of instructional design with modular method in medical education
Background and Goal: Modular method is a form of in-service training which provides job skills into a form of independent training of audiences. Each of modular provides specific skill and at the same time besides the other modular led to a new and comprehensive skill. In fact, any educational modular is a set of knowledge, attitudes and skills which by using them it can be possible to do ...
متن کامل